Asymptotic Relations among Fourier Coefficients of Real-analytic Eisenstein Series

Following Wolpert, we find a set of asymptotic relations among the Fourier coefficients of real-analytic Eisenstein series. The relations are found by evaluating the integral of the product of an Eisenstein series φir with an exponential factor along a horocycle. We evaluate the integral in two ways by exploiting the automorphicity of φir ; the first of these evaluations immediately gives us one coefficient, while the other evaluation provides us with a sum of Fourier coefficients. The second evaluation of the integral is done using stationary phase asymptotics in the parameter λ (λ = 1 4 + r2 is the eigenvalue of φir) for a cubic phase. As applications we find sets of asymptotic relations for divisor functions. 1. Preliminaries Let Γ ⊂ SL2(R) be a finitely generated non-cocompact Fuchsian group of the first kind. For ease of presentation, we shall restrict ourselves to the case where Γ = SL2(Z), although most of the work carries through to the general case (the exception being in the Appendix, where one has to be careful about the choice of group so that it has a standard fundamental domain). Let φs− 2 denote a Γ-automorphic eigenfunction of the hyperbolic Laplacian with eigenvalue λ = s(1 − s) = 14 + r > 1 4 on the critical line Re(s) = 1 2 (we choose s such that s = 12 + ir) with a Fourier series development of the form φs− 2 (z) = a0+y s + a0−y 1−s + ∑ m 6=0 am y 1 Ks− 2 (2π|m|y) e , (1.1) where Kq denotes the K-Bessel functions (also known as the MacDonald-Bessel functions), and z = x+ iy ∈ H = {z ∈ C : y = Im(z) > 0}. By saying that φir is Γ-automorphic for Γ ⊂ SL2(R), we mean that for γ = ( a b c d ) ∈ Γ ⊂ SL2(R), acting on the upper half plane H by linear fractional transformations z 7→ az+b cz+d , we have φir(z) = φir(γz). In the case that Γ = SL2(Z), we Received by the editors September 29, 1998 and, in revised form, November 24, 1998 and January 29, 1999. 1991 Mathematics Subject Classification. Primary 11F30; Secondary 11N37.